protocol validation
英 [ˈprəʊtəkɒl ˌvælɪˈdeɪʃən]
美 [ˈproʊtəkɑːl ˌvæləˈdeɪʃən]
网络 协议证实; 协议确认; 协议验证
双语例句
- According to the newest TCP protocol the system model of this issue connects the service validation module with the meta-service search and service self-healing assembly.
所设计的系统模型依照最新的TCP规范、通过将元服务搜索、服务自愈组合和服务验证模块相结合； - The files should include validation protocol, validation report, evaluation and suggestions, approval person, etc.
验证文件应包括验证方案、验证报告、评价和建议、批准人等。 - Meanwhile, the protocol certificated its own fairness on the basis of right cross validation.
最后证明了在交叉验证理论可证明正确的前提下，协议具有公平性。 - A written validation protocol should be established that specifies how validation of a particular process will be conducted.
应建立书面的验证草案，规定了某个工艺如何进行验证。 - The complete node and process model of AOS protocol have been built by OPNET software, and a simple network scenario has been built to simulate and verify the validation of the protocol model.
用OPNET软件搭建AOS协议封装节点模型和各个进程模型，建立简单网络场景进行仿真验证协议封装节点模型的有效性。 - Much research has been done recently in the area of formal description techniques ( FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术（FDT）领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。 - A protocol validation algorithm, Z, which is based on the heuristic search strategy, has been advanced and a comparison between algorithm Z and the exhaustive validation algorithm, Breadth-first, is made.
本文还提出了一个基于知识的协议验证算法Z，并分析了其复杂度。 - Protocol Validation by Knowledge-Based Strategy
基于知识的协议验证方法 - After Analyzing existing protocol validation techniques, we propose a FSM simplified method and an error-first search algorithm. Based on this strategy, an automated protocol validation system ( APVS) in which protocols are specified in ESTELLE is developed and discussed.
本文在分析现有验证技术的基础上，提出了实体自动机化简方法和错误优先的搜索算法（EFSA），同时介绍了根据上述策略建立的以ESTELLE为描述模型的协议自动验证系统APVS。 - The protocol can provide identity authentication, key validation, perfect forward secrecy, and foil man-in-the-middle attacks.
该协议提供身份认证、密钥确认、完美前向安全性，并能够防止中间人攻击。 - An attempt is made to explain the general direction of the work on formal protocol specifications, their validation, and conformance testing of protocol implementations.
本文试图阐明形式协议规范，它们的验证和协议实现一致性测试等工作的总的趋向。 - On the basis of this model, some important concepts such as protocol error, the correct probability of protocol, and the complexity of validation algorithm are defined formally.
本文将人工智能技术引入协议验证，建立了验证的图搜索模型，定义了协议错误、协议正确程度、验证算法的复杂度等概念。 - The research designs a unique encryption protocol, implements the encryption mechanism that integrates the distribution of the security keys and the validation of the user identification, and guarantees the feasibility and safety of this network exam system.
本研究设计了独特的加密协议，实现了密钥分配和用户身份验证为一体的加密体制，保证了此网络考试系统的可行性和安全性。 - The formal description of the network protocol is very important for specification, validation and implementation of the protocol.
网络协议的形式化描述对于协议的定义，协议的正确性验证以及协议的实施有着非常重要的意义。 - It includes communication protocol specification, validation, implementation, and testing.
它包括通信协议的规范、验证、生成、测试。 - Reliable strategy for automated Protocol Validation
协议自动验证的可靠策略 - Thus the spectrum efficiency can be promoted effectively in cognitive radio networks. A common simulation platform is very necessary in the study process of cognitive radio networks. It is the basis of protocol analysis, performance validation and algorithm optimization.
在认知无线电网络研究过程中，通用的仿真平台是研究网络性能、分析协议工作机制、改进策略算法的基础。 - It designs a multicast routing protocol, using sector, which is based on intelligent energy controlled. Its validation is verified by simulations.
设计了一种基于智能能量控制的扇区多播路由协议，通过仿真予以验证，在理论上证明提出算法的可行性。 - Modbus protocol is simple and intuitive, high reliability, as well as touch screen is used widely, the data format and validation code algorithm of Modbus protocol is detailed analyzed. The paper designs the communication interface circuits for industrial use touch-screen and the DSP.
由于Modbus协议直观简洁、可靠性高以及被触摸屏广泛采用，本文详尽剖析了Modbus协议的数据格式、校验码生成算法，并设计了工业用触摸屏与DSP的通信接口电路。